logical expression simplification